Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
371	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-26 10:21:13 Function Mathematical proof Finitary relation Equivalence relation Boolean algebra Mathematical induction Binary relation Well-founded relation Propositional calculus Mathematics Logic Mathematical logic
372	PDF Document Add to Reading List Source URL: www2.cs.uregina.ca Language: English - Date: 2005-06-09 00:08:44 Rough set Theoretical computer science Equivalence relation Binary relation Equivalence class Finitary relation Euclidean relation Transitive relation Equality Mathematics Logic Mathematical logic
373	PDF Document Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2010-07-25 05:49:05 Binary operations Modal logic Kripke semantics Entailment FO If and only if Dependence logic Logical connective And–or tree Logic Mathematical logic Philosophical logic
374	PDF Document Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
375	PDF Document Add to Reading List Source URL: tellerprimer.ucdavis.edu Language: English - Date: 2013-03-11 15:24:11 Philosophical logic Veracity Binary operations Argument Validity Entailment Truth function Logical connective Soundness Logic Propositional calculus Deduction
376	PDF Document Add to Reading List Source URL: keccak.noekeon.org Language: English - Date: 2013-02-27 15:26:40 Mathematical logic Keccak NIST hash function competition Symbol Combinatory logic Bitwise operation MOV Boolean algebra Hamming weight Computer architecture Binary arithmetic Mathematics
377	PDF Document Add to Reading List Source URL: arielrubinstein.tau.ac.il Language: English - Date: 2008-09-09 20:29:29 Mathematical logic Function Binary relation Valuation Finitary relation Preference Correspondence Constructible universe Maximal element Mathematics Order theory Functions and mappings